#ifndef _printf2_
#define _printf2_
void printf2();
#endif
